- relativization of quantifiers
- мат.релятивизация кванторов
English-Russian scientific dictionary. 2008.
relativization of quantifiers
Смотреть что такое "relativization of quantifiers" в других словарях:
Post's theorem — In computability theory Post s theorem, named after Emil Post, describes the connection between the arithmetical hierarchy and the Turing degrees. Background The statement of Post s theorem requires several concepts relating to definability and… … Wikipedia
